* etc/PROBLEMS: Remove some more obsolete information.
authorGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:23:08 +0000 (20:23 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 28 May 2010 03:23:08 +0000 (20:23 -0700)
commit92938689a010af869b0813e095368586ad839720
tree2d4f1238532acdbf8fd0d3cf4ac6026298dee428
parent6ee4ca2f89b2ecd1d2a9dfb31e138182b7ffabc8
* etc/PROBLEMS: Remove some more obsolete information.
Also some re-filling.
etc/PROBLEMS